421. Webservices :
پدیدآورنده: Hrushikesha Mohanty, Prasant Kumar Pattnaik, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Web services.,XML (Document markup language),COMPUTERS-- General.,Web services.,XML (Document markup language)
رده :
TK5105
.
88813
422. 8th International Conference on Automated Deduction :
پدیدآورنده: edited by Jörg H. Siekmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
423. theoretic concepts in computer science-Graph
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Graph theory ; Congresses. ; Computer science ; Congresses. ; Computer algorithms ; Congresses. ;
424. الگوریتم موازی مثلتبندی گرافهای بزرگ با Gpu
پدیدآورنده: / پروانه صفاری.,صفاری
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: الگوریتم‌های موازی,Parallel algorithms,واحدهای پردازش گرافیکی,Graphics processing units,نظریه گراف,Graph theory, -- برنامه‌نویسی, -- Programming,a02,a02,a04,a04,a03,a03
رده :
QA
۷۶
/
۶
/
ص
۷
الف
۷ ۱۳۹۷
425. الگوریتم‌های جستجوی کوانتومی با زمان پیوسته
پدیدآورنده: /نادر بهاری
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
426. الگوریتم‌های هوش گروهی در رنگ‌آمیزی گراف
پدیدآورنده: /اصغر نافع مرکید
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
427. اندازه‌گیری میزان آزمون‌پذیری نرم‌افزار با تحلیل کنترل‌پذیری گراف وابستگی
پدیدآورنده: شفیعی کما‌ل آبا‌د، المیرا
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی برق,برق
428. پیاده سازی سخت افزاری الگوریتم دقت بینایی انسان,Hardware Implementation of Human Visual Attention Algorithm
پدیدآورنده: /پریا انصارخامنه
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
429. تجزیه و تحلیل کدهای تزویجی فضایی از دیدگاه فیزیک آماری
پدیدآورنده: /الهام مرادی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع:
430. تحلیل بهینه مدل های اجزای محدود به روش نیرو ها
پدیدآورنده: /کامبیز کوهستانی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Optimal Analysis,Force Method,Finite Elements,Graph Theory,Combinatorial Methods
431. توسعه ما‌شین یا‌دگیری بینها‌یت به الگوی همکا‌ری (یا هما‌فزایی) غیرزائد مبتنی بر طبقه بندی گراف
پدیدآورنده: عا‌بدزاده، سحر
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ریا‌ضی محض گرایش جبر,ریا‌ضی
432. جایابی بهینه سوئیچها در شبکه توزیع جهت بهبود قابلیت اطمینان
پدیدآورنده: / ارسلان مالک
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: RCS switch, Tai Switch, Connected graph algorithms, Radial networks
433. شناسایی اجتما‌ع هم پوشا‌ن در شبکه های اجتما‌عی به وسیله تشکیل ائتلاف
پدیدآورنده: بهروز خزائی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: مهندسی برق,برق
434. شناسایی و کنترل بههنگام نوسانات اجباری در سیستمهای قدرت تحت استرس
پدیدآورنده: / کاوه نادری
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Forced oscillations, Resonance, Source locating, Limit cycle, Amplitude modulation
435. مدلسازی مسله تشکیل سلول در شرایط عدمقطعیت با استفاده از شبکههای صف
پدیدآورنده: /هادی عبدالله زاده سنگرودی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: الگوریتم -Constraint,الگوریتم فراابتکاری,بهینه سازی احتمالی,تئوری گراف,تئوری صف,تشکیل سلول
436. نظریه و الگوریتم های گراف
پدیدآورنده: / تالیف محمد تقی درویشی ، مسعود نیکوکار
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: گرافها
رده :
QA
۱۶۶
/
د
۴
ن
۴ ۱۳۹۴
